Section: New Software and Platforms

Checkers

Checkers - A proof verifier

Keywords: Proof - Certification - Verification

Functional Description

Checkers is a tool in Lambda-prolog for the certification of proofs. Checkers consists of a kernel which is based on LKF and is based on the notion of ProofCert.

• Participants: Tomer Libal and Giselle Reis

• Contact: Tomer Libal

• URL: https://github.com/proofcert/checkers